大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Programming (Numerical Software) 的图书(共3243本)

Formal Approaches to Software Testing [electronic resource] : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers

0
索取号：
作者：Grabowski、 Jens.、Nielsen、 Brian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Formal Methods in Software and Systems Modeling [electronic resource] : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

0
索取号：
作者：Kreowski、 Hans-J枚rg.、Montanari、 Ugo.、Orejas、 Fernando.、Rozenberg、 Grzegorz.、Taentzer、 Gabriele.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Software Engineering for Multi-Agent Systems III [electronic resource] : Research Issues and Practical Applications

0
索取号：
作者：Choren、 Ricardo.、Garcia、 Alessandro.、Lucena、 Carlos.、Romanovsky、 Alexander.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Multiparadigm Programming in Mozart/Oz [electronic resource] : Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers

0
索取号：
作者：Roy、 Peter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Shared Memory Parallel Programming with Open MP [electronic resource] : 5th International Workshop on Open MP Applications and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004, Revised Selected Papers

0
索取号：
作者：Chapman、 Barbara M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Logic Programming and Nonmonotonic Reasoning [electronic resource] : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings

0
索取号：
作者：Baral、 Chitta.、Greco、 Gianluigi.、Leone、 Nicola.、Terracina、 Giorgio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Embedded Software and Systems [electronic resource] : First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers

0
索取号：
作者：Wu、 Zhaohui.、Chen、 Chun.、Guo、 Minyi.、Bu、 Jiajun.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

ECOOP 2005 - Object-Oriented Programming [electronic resource] : 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings

0
索取号：
作者：Black、 Andrew P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Automata, Languages and Programming [electronic resource] : 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings

0
索取号：
作者：Caires、 Lu铆s.、Italiano、 Giuseppe F.、Monteiro、 Lu铆s.、Palamidessi、 Catuscia.、Yung、 Moti.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Fast Software Encryption [electronic resource] : 12th International Workshop, FSE 2005, Paris, France, February 21-23, 2005, Revised Selected Papers

0
索取号：
作者：Gilbert、 Henri.、Handschuh、 Helena.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Reliable Software Technology-Ada-Europe 2005 [electronic resource] : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedings

0
索取号：
作者：Vardanega、 Tullio.、Wellings、 Andy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

0
索取号：
作者：Sutcliffe、 Geoff.、Voronkov、 Andrei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Product Focused Software Process Improvement [electronic resource] : 6th International Conference, PROFES 2005, Oulu, Finland, June 13-15, 2005. Proceedings

0
索取号：
作者：Bomarius、 Frank.、Komi-Sirvi枚、 Seija.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Numerical Solution of Partial Differential Equations on Parallel Computers [electronic resource]

0
索取号：
作者：Bruaset、 Are Magnus.、Tveito、 Aslak.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Component-Based Software Development for Embedded Systems [electronic resource] : An Overview of Current Research Trends

0
索取号：
作者：Atkinson、 Colin.、Bunse、 Christian.、Gross、 Hans-Gerhard.、Peper、 Christian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Elements of Numerical Relativity [electronic resource]

0
索取号：
作者：Bona、 Carles.、Palenzuela-Luque、 Carlos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.